I.—The Problem of Recognition
نویسندگان
چکیده
منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملIthe Diagnostic Value of Isolated Urinary Mucopolysaccharides and of Lymphocyte
Gargoylism or Hurler's syndrome (Hunter, 1917; Hurler, 1919) is a rare genetically determined disease (McKusick, 1960) appearing in autosomal recessive and sex-linked forms. Two of the six known sulphated mucopolysaccharides are produced in excess, namely chondroitin sulphate B and heparitin sulphate. They accumulate in most organs of the body, especially in the liver and the spleen (Meyer, Gru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Aristotelian Society
سال: 1917
ISSN: 0066-7374,1467-9264
DOI: 10.1093/aristotelian/17.1.1